\begin{tabbing}
(\=(Auto) \+
\\[0ex]CollapseTHEN (((DVar `L') 
\\[0ex]CollapseTHEN (((All Reduce) 
\\[0ex]CollapseTHEN (Auto'))$\cdot$
\-\\[0ex]))$\cdot$))$\cdot$
\end{tabbing}